Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs
نویسندگان
چکیده
This article describes Salsa, an automatic tool to improve the accuracy of the floating-point computations done in numerical codes. Based on static analysis methods by abstract interpretation, our tool takes as input an original program, applies to it a set of transformation rules and then generates a transformed program which is more accurate than the initial one. The original and the transformed programs are written in the same imperative language. This article is a concise description of former work on the techniques implemented in Salsa, extended with a presentation of the main software architecture, the inputs and outputs of the tool as well as experimental results obtained by applying our tool on a set of sample programs coming from embedded systems and numerical analysis.
منابع مشابه
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
Among other objectives, rewriting programs serves as a useful technique to improve numerical accuracy. However, this optimization is not intuitive and this is why we switch to automatic transformation techniques. We are interested in the optimization of numerical programs relying on the IEEE754 floating-point arithmetic. In this article, our main contribution is to study the impact of optimizin...
متن کاملOptimal Choice of Random Variables in D-ITG Traffic Generating Tool using Evolutionary Algorithms
Impressive development of computer networks has been required precise evaluation of efficiency of these networks for users and especially internet service providers. Considering the extent of these networks, there has been numerous factors affecting their performance and thoroughly investigation of these networks needs evaluation of the effective parameters by using suitable tools. There are se...
متن کاملTumor Detection and Morphology Assessment in the Liver Tissue Using an Automatic Tactile Robot
In this paper an automatic examination robot was developed to improve the process of cancer detection, tumor localization and geometrical shape diagnosis. A uniformly distributed compressive load was applied to the top tissue surface and the resultant mechanical stress was measured that was employed for the tumor diagnosis task. The experimental examinations were performed on the soft tissue of...
متن کاملAn Extension of the Earned Value Management to Improve the Accuracy of Schedule Analysis Results
A project is any endeavor involving planned action, for example, developing a new product or constructing a dam. [CE1] Major factors for a project to be successful are applying performance measurement and feedback tool. One such well-known performance measurement tool to control the project execution is earned value management (EVM). EVM uses the fundamental principle that trends in the past ca...
متن کاملModelling and Numerical Simulation of Cutting Stress in End Milling of Titanium Alloy using Carbide Coated Tool
Based on the cutting force theory, the cutting stress in end milling operation was predicted satisfactorily through simulation of using finite element method. The mechanistic force models were introduced in high accuracy force predictions for most applications. The material properties in the simulations were defined based on the cutting force theory, as a function of strain and strain rate wher...
متن کامل